]> dgit.raspbian.org Git - gnome-shell.git/commit
status: Rebrand the user menu as the system menu
authorJasper St. Pierre <jstpierre@mecheye.net>
Wed, 22 May 2013 18:46:47 +0000 (14:46 -0400)
committerJasper St. Pierre <jstpierre@mecheye.net>
Fri, 19 Jul 2013 09:34:44 +0000 (05:34 -0400)
commitca861d8ff9c93dad198e55e8d9afcaf04cee93a5
treeebe1eca831d8dabf8b2f53799e23012af31ae77e
parent37a316e66c2d90e90af0a8f20183ea544cabd6e7
status: Rebrand the user menu as the system menu

As the user menu no longer really shows anything about the user, and just
power menu and settings, it's not really deserving of the "user menu" name,
so rename it to the ever-blandly-named "system menu".

This is a part of the new system status design, see
https://wiki.gnome.org/GnomeShell/Design/Guidelines/SystemStatus/
for design details.

https://bugzilla.gnome.org/show_bug.cgi?id=704368
js/Makefile.am
js/ui/panel.js
js/ui/sessionMode.js
js/ui/status/system.js [new file with mode: 0644]
js/ui/userMenu.js [deleted file]